A Feature Construct for PEPA
نویسنده
چکیده
We show how the PEPA performance modelling language could be extended with a feature construct which can be used to describe modiications to PEPA models. We provide this construct with an operational description which conservatively extends the operational semantics of the PEPA language. We apply the feature construct in a small case study.
منابع مشابه
The PEPA Feature Construct
We show how the PEPA performance modelling language could be extended with a feature construct which can be used to describe modifications to PEPA models. We provide this construct with an operational description which conservatively extends the operational semantics of the PEPA language. We then show how the feature construct can be applied in a small case study.
متن کاملStochastic Bounding of PEPA Models
Stochastic bounds are a valuable tool for analysing large Markov chains. If the chain is too large to solve, we can construct upper and lower bounding chains that are easier to solve, and whose steady state solutions will bound that of the original chain. In [Fourneau et al, 2004], an algorithm is presented to construct lumpable bounding chains, which can be aggregated and solved. In a stochast...
متن کاملCompositional Abstraction of PEPA Models for Transient Analysis
Stochastic process algebras such as PEPA allow complex stochastic models to be described in a compositional way, but this leads to state space explosion problems. To combat this, there has been a great deal of work in developing techniques for abstracting Markov chains. In particular, abstract — or interval — Markov chains allow us to aggregate states in such a way as to safely bound transient ...
متن کاملExtending the Bio-PEPA workbench into a modelling platform
Bio-PEPA is a very recent extension to PEPA, a process algebra for performance evaluation of concurrent systems, which was created for modelling and analysis of biochemical networks. The Bio-PEPA workbench is a software tool that parses a text file with the definition of a Bio-PEPA model and realises several kinds of analysis to the parsed model, mainly using external tools. One of the several ...
متن کاملStochastic Modelling of Communication Protocols from Source Code
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe and motivate similar extensions to quantitative/performance analyses, with particular emphasis on communication protocols. The central aim is to extract a stochastic model (in the PEPA language) from such source code. We ...
متن کامل